Главная / Информационных технологий / Компьютерные науки / Бектемесов Аманжол Тохтямович

Бектемесов Аманжол Тохтямович

Должность: Ассистент-профессор
Кафедра компьютерных наук
Scopus author ID: 55960072500
amanzhol.bektemessov@gmail.com
Редактирование данных
       Тема диссертации: Верификация параллельных программных систем численного моделирования на основе Model checking. Год защиты: 26.12.2014 Отечественные научные консультанты: доктор физико-математических наук, академик НАН РК Данаев Н.Т., и доктор технических наук, профессор Ахмед-Заки Д.Ж. Зарубежный научный консультант: Доктор естественных наук, профессор Хельмут Вейс.

1

Бектемесов Аманжол ТохтямовичАхмед-Заки Д.Ж., Мәткерім Б.. МОДЕРНИЗАЦИЯ ИНФОРМАЦИОННОЙ СИСТЕМЫ АНАЛИЗА РАЗРАБОТКИ НЕФТЕГАЗОВЫХ МЕСТОРОЖДЕНИЙ ИСАР-II 2013 - г. 7 - стр. 0

2

Бектемесов Аманжол ТохтямовичМәткерім Б.., Данаев Н.Т., Ахмед-Заки Д.Ж. 2014 - г. 10 - стр. 0

3

Бектемесов Аманжол ТохтямовичАхмед-Заки Д.Ж. Модели параллельных программ и их верификация при использовании транзакционной памяти. 2014 - г. 6 - стр. 53

4

Бектемесов Аманжол Тохтямович Симмуляция распределенных программ при использовании транзакционной памяти 2014 - г. 8 - стр. 81

5

Бектемесов Аманжол Тохтямович Поиск информации из больших данных с использованием метод BDD 2015 - г. 5 - стр. 0

6

Бектемесов Аманжол ТохтямовичБурлибаев А.Ж. Распределенные алгоритмы и их верификация с помощью Byzantine model checker 2016 - г. 10 - стр. 0

7

Бектемесов Аманжол ТохтямовичУсманова А.М. Встроенная система автоматического отслеживания объекта в реальном времени 2020 - г. 5 - стр. 0

1

Бектемесов Аманжол Тохтямович Ахмед-Заки Д.Ж., Мәткерім Б.., Кумалаков Б.А., Данаев Н.Т. 2013 - г. 10 - стр.

2

Бектемесов Аманжол Тохтямович Метод BDD для сложных поисковых систем 2015 - г. 1 - стр. Академгородок, Новосибирск, Россия
ORCID
ORCID iD https://orcid.org/0009-0006-4368-5793
Google Scholar
Google Scholar Профиль автора
Документы автора

0

Цитирования

0 по 0
документам

h-индекс

0

Посмотреть страницу автора в Scopus
Design of distributed parallel computing using by MapReduce/MPI technology

Akhmed-Zaki, D., Danaev, N., Matkerim, B., Bektemessov, A.

2013

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
-1, с. 139-148

1

Цитирований
ORCID: https://orcid.org/0009-0006-4368-5793
Google Scholar: Профиль